# | Class | status | |
---|---|---|---|
1 |
S:75856785
M:VERIFICATION FROM CONCEPT TO REALITY O:TransEDA Ltd. |
9 | Dead |
2 |
S:75837026
M:DESIGN NAVIGATOR O:TransEDA, Ltd. |
9 | Dead |
3 |
S:75837027
M:MODEL NAVIGATOR O:TransEDA, Ltd. |
9 | Dead |
4 |
S:75837028
M:SPEC NAVIGATOR O:TransEDA, Ltd. |
9 | Dead |
5 |
S:75837029
M:TESTBENCH NAVIGATOR O:TransEDA, Ltd. |
9 | Dead |
6 |
S:75837030
M:FORMAL NAVIGATOR O:TransEDA, Ltd. |
9 | Dead |
7 |
S:75837031
M:STATE NAVIGATOR O:TransEDA, Ltd. |
9 | Dead |
8 |
S:75837032
M:VERIFICATION NAVIGATOR O:TransEDA, Ltd. |
9 | Dead |
9 |
S:75837033
M:SPECIFICATION NAVIGATOR O:TransEDA, Ltd. |
9 | Dead |
10 |
S:75714010
M:STATEVECTOR O:TransEDA, Ltd. |
9 | Dead |